h1 {
	font-size: 130%;
    font-variant: small-caps;
	color: navy;
	background-color: #B0CBFC;
}
h2 {
	font-size: 120%;
	color: navy;
	background-color: #B0CBFC;
}
h3 {
	font-size: 110%;
}
h4 {
	font-size: 100%;
}
div[name="index"] {
	background-color: #D9D5CE;
}
ul.undecorated {
	list-style-type: none;
	padding: 0 0 0 2em;
	text-indent: -2em;
	margin: 5px;
}
